Induction Variable Elimination